Solving the Round Robin Problem Using Propositional Logic
نویسندگان
چکیده
In this paper we present a new and extremely competitive approach to solving a notoriously hard problem from the sports scheduling domain, the round robin problem. By combining local search satisfiability algorithms and an appropriate problem encoding based on classical propositional logic, we are able to find feasible schedules many times faster than using the best existing approaches to the round robin problem. Moreover, using this scheduling as satisfiability approach we are able to solve a previously unsolved instance, the round robin problem for 20 teams.
منابع مشابه
Stability Improvement of Hydraulic Turbine Regulating System Using Round-Robin Scheduling Algorithm
The sustainability of hydraulic turbines was one of the most important issues considered by electrical energy provider experts. Increased electromechanical oscillation damping is one of the key issues in the turbines sustainability. Electromechanical oscillations, if not quickly damp, can threaten the stability of hydraulic turbines and causes the separation of different parts of the netw...
متن کاملEquality propositional logic and its extensions
We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...
متن کاملComplexity of the Logic for Multiagent Systems with Restricted Modal Context
In this paper we continue our research in computational complexity of fragments of a particular belief-desire-intention (BDI) logic for cooperative problem solving (CPS) called TeamLog. The logic in question combines propositional multi-modal logic to express static aspects of CPS with propositional dynamic logic used for dynamic aspects of CPS. We concentrate here on the static fragment of the...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملExploiting Dynamically Propositional Logic Structures in SAT
The 32-bit hwb (hwb-n32 for short) problem is from equivalence checking that arises in combining two circuits computing the hidden weighted bit function. Since 2002, it remains still unsolvable in every SAT competition. This paper focuses on solving problems such as hwb-n32. Generally speaking, modern solvers can detect only XOR, AND, OR and ITE gates. Other non-clausal formulas (propositional ...
متن کامل